$\forall$${\it as}$, ${\it bs}$:($\mathbb{Q}$ List). qdot(${\it as}$;${\it bs}$) $\in$ $\mathbb{Q}$